(3Z,5E)-3,5-Bis(4-Fluorobenzylidene)-1,1-dimethyl-4-oxopiperidinium- 3,5-Bis(4-fluorobenzylidene)-1,1-dimethyl-1lambda~5~-piperidin-4-one hydroiodide AIDS-157083 AIDS157083 NSC634794 (IODIDE SALT)