A set of HIV protease inhibitors represented by compound 2 has previously been described. Structural and conformational analysis of this compound suggested that conformational restriction of the P1/P2 portion of the molecule could lead to a novel set of potent protease inhibitors. Thus, probe compounds 3-7 were designed, synthesized, and found to be potent inhibitors of HIV protease.