We have developed optimized versions of a conditionally replicating human immunodeficiency virus type 1 (HIV-1)-based lentiviral vector for gene therapy of HIV-1 infection. These vectors target HIV-1 RNAs containing sequences of the envelope gene by expressing a 1-kb fragment of the HIV-1 Tat/Rev intron in the antisense orientation. Expression of the envelope antisense gene (envAS) was evaluated under the control of different internal promoters such as the human phosphoglycerate kinase (PGK) promoter, the human EF1-alpha promoter, and the U3 region of the SL3 murine leukemia virus. The U3-SL3 promoter transactivates transcription from the vector HIV-1 LTR and drives higher expression levels of envAS-containing RNAs than other promoters in T-cell lines. The effect of other vector structural features was also evaluated. We found that the central polypurine tract and central termination sequence (cPPT) produce a small increase in vector infectivity of 2-fold to 3-fold and results in a 10-fold higher inhibition of wild-type viral replication in challenge experiments. The woodchuck hepatitis posttranscriptional regulatory element (WPRE) does not increase the cytoplasmic levels of envAS mRNA in T-cell lines. We observed that SupT1 and primary CD4(+) T cells transduced with these vectors showed high inhibition of HIV-1 replication, suppression of syncitium formation, and increased cell viability when infected with several HIV-1 laboratory strains. Our results suggest that higher vector copy number and increased levels of envAS RNA expression contribute to block replication of divergent strains of HIV-1.