Song dynasty patriarch of the Quanzhen school of Taoism, a disciple of Wang Chongyang