Coherent frequency combs for spectroscopy across the 3–5 µm region