Combined tipranavir and enfuvirtide use associated with higher plasma tipranavir concentrations but not with increased hepatotoxicity: sub-analysis from RESIST