Potent HIV-1 protease inhibitors with antiviral activities in vitro