AIDS-017715 AIDS017715 Hexylmalonic acid, diethyl ester