Optimization of pyrrolidinone based HIV protease inhibitors.