Robinson annulation on a carbohydrate derivative