(R)-1-Acetyl-2-allylpyrrolidine-2-carboxylic acid