revuelto de judías verdes con ajo y pimentón