Using Modeling to Explore the Degree to Which a Microbicide's Sexually Transmitted Infection Efficacy May Contribute to the HIV Effectiveness Measured in Phase 3 Microbicide Trials.