potent HIV-1 protease inhibitor in vitro activity (IC50 = 0.0071 μM, EC50 = 0.86 μM) from “pocket-to-lead” virtual screen and SBDD J. Med. Chem. Shionogi, Osaka, JP