Effectiveness of condoms in preventing HIV transmission.