Compounds of the formula: ##STR00001## where the formula variables are as defined herein, are disclosed that advantageously inhibit or block the biological activity of the HIV protease. These compounds, as well as pharmaceutical compositions containing these compounds, are useful for treating patients or hosts infected with the HIV virus. Intermediates and synthetic methods for preparing such compounds are also described.