Frequency measurement at 4.25 THz (70.5μm) using a Josephson harmonic mixer and phase-lock techniques