AIDS-132859 AIDS132859 Diethyl 7-oxo-1,3,5-cycloheptatriene-1,3-dicarboxylate NSC627638