Treatment response to ritonavir-boosted tipranavir versus ritonavir-boosted lopinavir in HIV-1 patients with higher lopinavir mutation scores