Mannitol Dehydrogenase from Agaricus campestris