Compounds useful as protease inhibitors are provided, as are methods of use and preparation of such compounds and compositions containing such compounds. In one embodiment, the compounds are useful for inhibiting HIV protease enzymes, and are therefore useful in slowing the proliferation of HIV.