: Mycena agrestis.