Adenilosuccinato liase