Resultado de la búsqueda: eliminar duplicados awk