HST Strong-lensing Model for the First JWST Galaxy Cluster SMACS J0723.3−7327 | Synapse