Sukardjo, Sukristijono, Lembaga Ilmu Pengetahuan Indonesia, Indonesia