Salteado de champiñones y judías verdes con tomate