Design, synthesis, and biological evaluation of novel HIV-1 protease inhibitors containing pyrrolidine-derived P2 ligands to combat drug-resistant variant.