2,3,4,6-Tetra-O-acetyl-.beta.-D-galactopyranosyl isothiocyanate AIDS-211857 AIDS211857