Serés Guillén, Guillermo, Académico correspondiente de la RAE