Unexpected drug–drug interaction between tipranavir/ritonavir and enfuvirtide