1,1-Dimethyl-3,5-bis(3-phenyl-2-propenylidene)-1lambda~5~-piperidin-4-one hydroiodide AIDS-157251 AIDS157251 NSC636679 (HYDROIODIDE SALT)