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