Resultado de la búsqueda: eliminar registros repetidos con AWK