L-arabinitol 4-dehydrogenase