トロピリデン環を有するジアゾケトンを用いた多環状ポリエノンの合成