A simple convergent synthesis of the mannosidase inhibitor 1-deoxymannonojirimycin for sucrose