4-fluoropiperidine (Biological Magnetic Resonance Bank, 2023)