The structure of nojirimycin, a piperidinose sugar antibiotic.