wherein A is an amine protecting group and the like, B an amino acid or analog thereof, wherein G is
and J a small terminal group are described. These compounds are useful in the inhibition of HIV protease, the prevention or treatment of infection by HIV and 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.