Inhibitors of HIV-1 protease: 10 years after