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