: Cystolepiota hetieri.