Notosusanto, Nugroho