When did the word A Dream of Red Mansions appear?

The word "Dream of Red Mansions" first appeared in Li Fang's Eight Banners Map Records in Qing Dynasty. There is a record in it: "In the early years of Guangxu, doctors in Beijing were particularly fond of reading (referring to A Dream of Red Mansions), and they boasted that it was a dream of studying in a dream of red mansions." When the word A Dream of Red Mansions first appeared, it was only a joke. According to the annotation of Li Fang's "The Eight Banners Painting in China" in the late Qing Dynasty, "In the early Guangxu period, the scholars in the capital especially loved reading (referring to A Dream of Red Mansions), boasting that it was a Dream of Red Mansions." According to Jun Yao's Ci Zhu Ju Ling Mo, there was a man named Zhu Changding who was fascinated by A Dream of Red Mansions in the late Qing Dynasty. Someone asked him what classics he taught, and he told others that the classics he taught were less "one horizontal and three bends" than the general classics. It turns out that the word "Jing" in traditional Chinese characters is a "red" without "one horizontal and three tones". This short story spread, and soon the word "Dream of Red Mansions" became a custom and became the name of the study of Dream of Red Mansions.