Which of the following enzymes catalyzes the reaction to remove fumarate after aspartate has formed an amide with a carbonyl group in purine biosynthesis?