Development of a New Methodology for Screening of Human Immunodeficiency Virus Type 1 Microbicides Based on Real-Time PCR Quantification