Convert assh user@tag-name into the appropriate assh instance command.