tipranavir Synonyms