Heterodyne terahertz detection based on antenna-coupled AlGaN/GaN high-electron-mobility transistor