Resultado de la búsqueda: descartar duplicados con awk