Evaluating the potential impact of vaginal microbicides to reduce the risk of acquiring HIV in female sex workers