Synthesis of β-prolinols via [3+2] cycloaddition and one-pot programmed reduction: Valuable building blocks for polyheterocycles