《红楼梦》的本名是（），是无才补天的顽石在人世间的传记。