Vegetarian Stuffed Peppers With Mushrooms