CD4 and HIV-1 infection: Antigen-dependent TCR activation of CD4+ T cells is the most efficient stimulus for productive HIV-1 infection in vivo.