Cycloadditions of 1,2,3-triphenylaziridine via the azomethine ylide