Agrocybone, a Novel Bis‐sesquiterpene with a Spirodienone Structure from Basidiomycete Agrocybe salicacola.