Mansur, Muhammad, Lembaga Ilmu Pengeta huan Indonesia, Indonesia