Development and Evaluation of a Thermoreversible Ovule Formulation of Stampidine, a Novel Nonspermicidal Broad-Spectrum Anti-Human Immunodeficiency Virus Microbicide1