Historia de la Biblioteca Nacional de Colombia / Guillermo Hernández de Alba, Juan Carrasquilla Botero