Use of prostate-specific antigen (PSA) to measure semen exposure resulting from male condom failures: implications for contraceptive efficacy and the prevention of sexually transmitted disease.