Tortilla de huevos, pimiento rojo, champiñon y cebolla