Proving efficacy in microbicide trials: What design, how many women and for how long?