All male subjects will be on stable HAART and have undetectable serum viral loads prior to insemination. For semen samples, seminal fluid will be separated from sperm using a density gradient/swim-up separation technique. The purified sperm sample will be washed, and screened for HIV RNA using sensitive real-time RT-PCR. Samples with detectable traces of HIV RNA will not be used for insemination. Samples with no detectable traces of HIV RNA will be used for a standard intrauterine insemination of the female partner.