Sumarno, Agung, Lembaga Ilmu Pengetahuan Indonesia