tert-butyl 5-(cyclopropylmethyl)-6-oxo-1,3,3a,4,7,7a-hexahydropyrrolo[3,4-c]pyridine-2-carboxylate