《红楼梦》又名《石头记》以下选项中哪个是它的别名（)。