Performance of genotypic tropism testing on proviral DNAin clinical practice: results from the DIVA Study Group