Conversion of ailanthone into shinjulactone C through an ionic [4+2] cycloaddition reaction