This is the first I've heard of any server _only_ speaking HMAC-SHA-512.
It's not really a recommended configuration, because HMAC-SHA-512 is
specified as OPTIONAL, which does mean there's a risk of clients not
supporting it. What is this server, anyway?
I've added HMAC-SHA-512 to PuTTY. Try today's nightly build.
--
import hashlib; print((lambda p,q,g,y,r,s,m: (lambda w:(pow(g,int(hashlib.sha1(
m.encode('ascii')).hexdigest(),16)*w%q,p)*pow(y,r*w%q,p)%p)%q)(pow(s,q-2,q))==r
and s%q!=0 and m)(12342649995480866419, 2278082317364501, 1670428356600652640,
5398151833726432125, 645223105888478, 1916678356240619, "<
ana...@pobox.com>"))