CD4 and AIDS: Tg mice expressing entire coding sequences of HIV-1 (CD4/HIVWT) or HIV-1 Nef alone (CD4C/HIVNef) under the control of a CD4 promoter in HIV-1 target cells showed human AIDS-like symptoms [38].