Design of HIV-1 Protease Inhibitors with C3-Substituted Hexahydrocyclopentafuranyl Urethanes as P2-Ligands: Synthesis, Biological Evaluation, and Protein–Ligand X-ray Crystal Structure | doi.page