hiv protease inhibitor Synonyms