Obsolete fungus taxa