Tobón Restrepo, Antonio, Historiador, Musicólogo, Colombia