Discovery and development of HIV protease inhibitors