Ramón Díaz Eterovic (compilador)