A combination of nucleoside analogues and a protease inhibitor reduces HIV-1 RNA levels in semen: implications for sexual transmission of HIV infection.