Agaricus roseilignicola, Corner (1994)