Biomimetic synthesis of bis-α-substituent pyrrolidine alkaloids based on a proposed biosynthetic pathway