Computational and Experimental Characterization of Mycobacterium marinum β-Carbonic Anhydrase Inhibitors | Synapse