1,2-Didehydropiperidine-2-carboxylate C01258