Prophylactic contraceptives for HIV/AIDS.