α-Rhamnosidase inhibitory activities of polyhydroxylated pyrrolidine