(2S,4S)-4-fluoropyrrolidine-2-carboxylic acid