Rapid total synthesis of petasin and isopetasin. (28th September 2022)