During surgery for aortic arch aneurysm under deep hypothermic circulatory arrest, which of the following anesthetic agent administered prior to circulatory arrest that also provides cerebral protection ?