Assessing the potential of condom use to prevent the spread of HIV: a microsimulation study.