Performance of genotypic tropism testing on proviral DNA in clinical practice: results from the DIVA study group.