Spirodiepoxides: heterocycle synthesis and mechanistic insight.