“We previously showed that a Gag-Pol deletion mutation involving the …) repeat motif markedly impairs PR-mediated virus maturation and that an alanine substitution at W401 (W401A) or at both W401 and … or almost completely negates the enhancement effect of efavirenz (a nonnucleoside reverse transcriptase …-mediated virus processing efficiency.”