Stereoselective Pyrrolidine Synthesis and Approaches to Cyclic Tetrapeptides