4-Methyl-1-(2-naphthyl)-1,2,4-triazolidine-3,5-dione AIDS-151359 AIDS151359 NSC691588