Remarkably, neither infection with Env-defective VSV-G-pseudotyped HIV-2, nor HIV-2ΔEnv viruses pseudotyped with HIV-2 glycoproteins (Fig. S6A) enhanced the two microRNAs expression in infected cells, suggesting that HIV-2 Env biosynthesis was necessary for their upregulation (Fig. 7A). This evidence concerns the gene ART4 and infection.