Saquinavir: an HIV proteinase inhibitor.