1-(1,2-Diphenylvinyl)-2-methyl-3,5-pyrazolidinedione AIDS-151710 AIDS151710 NSC693121