Spanish Mushrooms with Onions