Compounds of formula ##STR1## are HIV protease inhibitors. These compounds are useful in the prevention or treatment of infection by HIV and in the treatment of AIDS, either as compounds, pharmaceutically acceptable salts, pharmaceutical composition ingredients, whether or not in combination with other antivirals, immunomodulators, antibiotics or vaccines. Methods of treating AIDS and methods of preventing or treating infection by HIV are also described.