Sauteed Spanish Mushrooms with Garlic and Paprika