Structure-based design of potent HIV-1 protease inhibitors with modified P1-biphenyl ligands: synthesis, biological evaluation, and enzyme-inhibitor X-ray structural studies.