Prasetyo, Muklis Agung, Lembaga Ilmu Pengetahuan Indonesia, Indonesia