RedeGN - José Ramos Tinhorão, Jornalista, pesquisador e crítico musical, morre aos 93 anos