《赖晓伟百问中国红学会和北京曹学会》 第7问：曹雪芹是化名还是真名？ 请中国红学