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