Synthesis and activity of conformationally-constrained macrocyclic norstatine-based inhibitors of HIV protease