Mansur, Muhammad, Lembaga Ilmu Pengetahuan Indonesia, Indonesia