A convergent synthesis of novel conformationally restricted HIV-1 protease inhibitors