(3S,4S)-1-Boc-4-fluoro-3-piperidinol [ 1174020-45-1 ]