Synthesis and activity of HIV protease inhibitors