Observational constraints on axions as quintessence in string theory | Synapse