carbonate dehydratase [cytosol]