Diastereoselectivity in Michael Additions to a Pyrrolidinyl Enone