Background: Human immunodeficiency virus type 1 (HIV-1) has a biased nucleotide composition different from human genes. This raises the question of how evolution has chosen the nucleotide sequence of HIV-1 that is observed today, or to what extent the actual encoding contributes to virus replication capacity, evolvability and pathogenesis. Here, we applied the previously described synthetic attenuated virus engineering (SAVE) approach to HIV-1. Results: Using synonymous codon pairs, we rationally recoded and codon pair–optimized and deoptimized different moieties of the HIV-1 gag and pol genes. Deoptimized viruses had significantly lower viral replication capacity in MT-4 and peripheral blood mononuclear cells (PBMCs). Varying degrees of ex vivo attenuation were obtained, depending upon both the specific deoptimized region and the number of deoptimized codons. A protease optimized virus carrying 38 synonymous mutations was not attenuated and displayed a replication capacity similar to that of the wild-type virus in MT-4 cells and PBMCs. Although attenuation is based on several tens of nucleotide changes, deoptimized HIV-1 reverted to wild-type virulence after serial passages in MT-4 cells. Remarkably, no reversion was observed in the optimized virus. Conclusion: These data demonstrate that SAVE is a useful strategy to phenotypically affect the replicative properties of HIV-1.

Virus capsid assembly constitutes an attractive target for the development of antiviral therapies; a few experimental inhibitors of this process for HIV-1 and other viruses have been identified by screening compounds or by selection from chemical libraries. As a different, novel approach we have undertaken the rational design of peptides that could act as competitive assembly inhibitors by mimicking capsid structural elements involved in intersubunit interfaces. Several discrete interfaces involved in formation of the mature HIV-1 capsid through polymerization of the capsid protein CA were targeted. We had previously designed a peptide, CAC1, that represents CA helix 9 (a major part of the dimerization interface) and binds the CA C-terminal domain in solution. Here we have mapped the binding site of CAC1, and shown that it substantially overlaps with the CA dimerization interface. We have also rationally modified CAC1 to increase its solubility and CA-binding affinity, and designed four additional peptides that represent CA helical segments involved in other CA interfaces. We found that peptides CAC1, its derivative CAC1M, and H8 (representing CA helix 8) were able to efficiently inhibit the in vitro assembly of the mature HIV-1 capsid. Cocktails of several peptides, including CAC1 or CAC1M plus H8 or CAI (a previously discovered inhibitor of CA polymerization), or CAC1M+H8+CAI, also abolished capsid assembly, even when every peptide was used at lower, sub-inhibitory doses. To provide a preliminary proof that these designed capsid assembly inhibitors could eventually serve as lead compounds for development of anti-HIV-1 agents, they were transported into cultured cells using a cell-penetrating peptide, and tested for antiviral activity. Peptide cocktails that drastically inhibited capsid assembly in vitro were also able to efficiently inhibit HIV-1 infection ex vivo. This study validates a novel, entirely rational approach for the design of capsid assembly interfacial inhibitors that show antiviral activity.

Previous studies showed an increased prevalence of human immunodeficiency virus type 1 (HIV-1) reverse transcriptase (RT) thumb subdomain polymorphisms Pro272, Arg277, and Thr286 in patients failing therapy with nucleoside analogue combinations. Interestingly, wild-type HIV-1_BH10RT contains Pro272, Arg277, and Thr286. Here, we demonstrate that in the presence of zidovudine, HIV-1_BH10RT mutations P272A/R277K/T286A produce a significant reduction of the viral replication capacity in peripheral blood mononuclear cells in both the absence and presence of M41L/T215Y. In studies carried out with recombinant enzymes, we show that RT thumb subdomain mutations decrease primer-unblocking activity on RNA/DNA complexes, but not on DNA/DNA template-primers. These effects were observed with primers terminated with thymidine analogues (i.e., zidovudine and stavudine) and carbovir (the relevant derivative of abacavir) and were more pronounced when mutations were introduced in the wild-type HIV-1_BH10RT sequence context. RT thumb subdomain mutations increased by 2-fold the apparent dissociation equilibrium constant (K_d) for RNA/DNA without affecting theK_dfor DNA/DNA substrates. RNase H assays carried out with RNA/DNA complexes did not reveal an increase in the reaction rate or in secondary cleavage events that could account for the decreased excision activity. The interaction of Arg277 with the phosphate backbone of the RNA template in HIV-1 RT bound to RNA/DNA and the location of Thr286 close to the RNA strand are consistent with thumb polymorphisms playing a role in decreasing nucleoside RT inhibitor excision activity on RNA/DNA template-primers by affecting interactions with the template-primer duplex without involvement of the RNase H activity of the enzyme.