The present invention relates to compounds of formula I: ##STR1## or pharmaceutically acceptable salt forms or prodrugs thereof, which are useful as inhibitors of HIV protease, and to pharmaceutical compositions and diagnostic kits comprising the same, and methods of using the same for treating viral infection or as an assay standard or reagent.

A invenção atual relaciona-se aos compostos da fórmula I: ## do ## STR1 ou pharmaceutically formulários de sal ou prodrugs disso, que são úteis como inibidores do protease do HIV, e às composições pharmaceutical e aos jogos diagnósticos que compreendem o mesmo, e métodos aceitáveis de usar o mesmo para a infecção viral de tratamento ou que um padrão ou um reagent do assay.