Jorge Basadre Grohmann, bibliotecario peruano: apuntes sobre su legado a los 41 años de sus muerte