The first example of a Robinson annulation on a carbohydrate derivative