Comparison of a rule-based with a phenotype-based algorithm for interpretation of HIV-genotype in guiding salvage regimens in HIV-infected, failing patients, by a randomized clinical trial