Condoms and the prevention of AIDS.