ethyl 2,5-dioxohexahydro-1H-pyrrolizine-7a-carboxylate