Pyrrolidine derivatives as new inhibitors of α-mannosidases and growth inhibitors of human cancer cells