Dynamic Hostname when using SSH Proxy with ProxyCommand

I am trying to configure an SSH connection through a proxy server such that