diethyl[(4R,9aS)-6-oxo-4-(3,4,5-trifluorophenyl)octahydropyrido[2,1-c][1,4]oxazin-7-yl]phosphonate (HCID 86612713)|Huagongshe