Mushroom chops in red sauce