Carbonic anydrase 1 is reduced in colonic mucosa of patients with ulcerative colitis.