Human Immunodeficiency Virus Type 1 in the Semen of Men Receiving Highly Active Antiretroviral Therapy | Synapse