Design, Synthesis, and X-ray Studies of Potent HIV-1 Protease Inhibitors with P2-Carboxamide Functionalities.