N-(12-Aminododecyl)deoxynojirimycin