Seitan and Mushrooms in Paprika "Cream" Sauce