1-Piperidinecarboxylic acid, 4-ethyl-2-oxo-3-(2-propenyl)-, phenyl ester,(3S,4R)- [ 725746-46-3 ]