tert-butyl (3S,5S)-2-oxo-5-[(2S,4S)-5-oxo-4-propan-2-yloxolan-2-yl]-3-propan-2-ylpyrrolidine-1-carboxylate