高伞菌,矮伞菌