霍尊, 蔡程昱, 高天鹤