A compound of the formula: ##STR1## is disclosed as an HIV protease inhibitor. Methods and compositions for inhibiting an HIV infection are also disclosed.

Um composto da fórmula: ## do ## STR1 é divulgado como um inibidor do protease do HIV. Os métodos e as composições para inibir uma infecção de HIV são divulgados também.