Ahmad, Fajarudin, Lembaga Ilmu Pengetahuan Indonesia, Indonesia