Vaginal disinfection for preventing mother-to-child transmission of HIV infection.