Reduction of HIV transmission by use of condoms.