ensaladilla de setas con jamón y judías verdes