Zinc and carbonic anhydrase in human semen