2-Butenedioic acid,2-hydroxy-3-methyl-, diethylester, sodium salt AIDS-051126 AIDS051126 NSC632942