He-Ne laser frequencies near 2.4 µm and their application to hydrogen fluoride detection