Detection of HF using infrared degenerate four-wave mixing