You can simplify this for hosts you talk to regularly by configuring them in your .ssh/config file(s), as shown in https://wiki.gentoo.org/wiki/SSH_jump_host
A bit of faf for one-off or infrequent connections, but a great time saver for regular interactive use.