A convergent synthesis of substituted pyrrolidines by 1,3 dipolar cycloaddition