Mushroom Ragout with Paprika