There is no requirement that "Host" is a lookup-able name and thus in
general it is impossible to derive "HostName" from it. Moreover, you
can use different "Host" names for the same "HostName" server, e.g.,
to setup different forwardings or use different user names: