Columbetdione, a new cyclopentene derivative from the fruiting bodies of Tricholoma columbetta (Basidiomycetes). Structure and synthesis