1-Methyl-2-(1-methyl-2,2-diphenylvinyl)-3,5-pyrazolidinedione AIDS-151712 AIDS151712 NSC693123