Genotypic testing on HIV-1 DNA as a tool to assess HIV-1 co-receptor usage in clinical practice: Results from the DIVA study group