Gravar-mail: Historical development of vaginal microbicides to prevent sexual transmission of HIV in women: from past failures to future hopes