Phosphine-catalyzed [4 + 1] annulation between α,β-unsaturated imines and allylic carbonates: synthesis of 2-pyrrolines.