prop-2-enyl 4-oxopiperidine-1-carboxylate