Gravar-mail: Potent HIV-1 protease inhibitors incorporating squaramide-derived P2 ligands: Design, synthesis, and biological evaluation