How much could a microbicide’s sexually transmitted infection efficacy contribute to reducing HIV risk and the level of condom use needed to lower risk? Model estimates.