(R)-tert-butyl 4,4-difluoro-2-(4-methyl-2-oxopent-3-enyl)pyrrolidine-1-carboxylate (HCID 86704458)|Huagongshe