Asymmetric synthesis of cyclic α-amino acids (−)-baikiain and (−)-4-methyleneproline from (S)-Boc-BMI