Quantification of Human Immunodeficiency Virus Type 1 Proviral Load by a TaqMan Real-Time PCR Assay