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.