Structures and Synthesis of Hitoyopodins: Bioactive Aromatic Sesquiterpenoids Produced by the Mushroom Coprinopsis cinerea.