Current V3 genotyping algorithms are inadequate for predicting X4 co-receptor usage in clinical isolates | Synapse