Note that this is quite strict on what characters may be contained in a bots user agent. This is due to strictness in the REP standard.
https://github.com/google/robotstxt/blob/master/robots_test....
// A user-agent line is expected to contain only [a-zA-Z_-] characters and must
// not be empty. See REP I-D section "The user-agent line".
// https://tools.ietf.org/html/draft-rep-wg-topic#section-2.2.1
So you may need to adjust your bot’s UA for proper matching.(Disclosure, I work at Google, though not on anything related to this.)