1,2,3,4-Di-O-isopropylidene-.alpha.-D-galactose 6-O-butyrate AIDS-133603 AIDS133603 NSC629691