Champignons, paprika, spaanse peper en tomatensaus