Human immunodeficiency virus type 1 in the semen of men receiving highly active antiretroviral therapy.