A64.“蚂蚁路灯”是哪种蘑菇的昵称？