Terahertz heterodyne mixing with a hot electron bolometer and a quantum cascade laser