Cyclic HIV protease inhibitors capable of displacing the active site structural water molecule