Tunable Far-Infrared Spectroscopy of HF, H35Cl, and H37Cl in the 6 to 9 THz Region.