Not an IPv4-mapped IPv6 address.
CircleBot.com
3.145.199.42