红楼梦,也名石头记,这两个名字,哪个更好听