The Design of Prophylactic Trials for HIV: The Case of Microbicides