A Quick Diversity-Oriented Amide-Forming Reaction to Optimize p-subsite Residues of HIV Protease Inhibitors