3-O-tert-butyl 1-O-ethyl 2-pyrrolidin-2-ylpropanedioate