紫色蘑菇大全_一种深紫色的蘑菇是什么叫什么名字