AIDS-017713 AIDS017713 Allylmalonic acid, diethyl ester