Judías salteadas con tomate y champiñones