红丁

_

蕈的别名。