Design and synthesis of highly potent HIV protease inhibitors with activity against resistant virus.