bow-tie gratin with radicchio and mushrooms