Synthesis, α-mannosidase inhibition studies and molecular modeling of 1,4-imino-ᴅ-lyxitols and their C-5-altered N-arylalkyl derivatives