Recent developments in HIV protease inhibitor research