Sukamto, Lazarus Agus, Lembaga Ilmu Pengetahuan Indonesia, Indonesia