Highly Potent HIV-1 Protease Inhibitors with Novel Tricyclic P2 Ligands: Design, Synthesis, and Protein–Ligand X-ray Studies | doi.page