Synthesis of novel HIV-1 protease inhibitors based on carbohydrate scaffolds