Cryptococcus neoformans adenylosuccinate lyase