Mannitol Metabolism in Agaricus bisporus: Purification and Properties of Mannitol Dehydrogenase