Piperidine, 1-(2-fluoro-3-methyl-1-oxo-4-pentenyl)-, (R*,R*)- (9CI)