.beta.-4,5-Di-epi-homonojirimycin AIDS-060488 AIDS060488