Porcini, Steinpilzsoße