(2S,4R)-1-[(tert-Butoxy)carbonyl]-4-methylpyrrolidine-2-carboxylic acid