The Favorskii reaction of the pulegone oxides