Structural basis for strand-transfer inhibitor binding to HIV intasomes