N-(n-Butyl)deoxygalactonojirimycin