Polenta with mushroom sauce