Design of HIV-1 Protease Inhibitors with Pyrrolidinones and Oxazolidinones as Novel P1′-Ligands To Enhance Backbone-Binding Interactions with Protease: Synthesis, Biological Evaluation, and Protein−Ligand X-ray Studies | doi.page