Separation of pyrrolidine allylation products by diastereoselective enzymatic ester hydrolysis