AIDS-135817 AIDS135817 Diethyl 2-(3-fluorobenzylidene)malonate NSC636383