Design, synthesis, X-ray studies, and biological evaluation of novel macrocyclic HIV-1 protease inhibitors involving the P1'-P2' ligands