spikevax is a brand name it was mrna-1273 when in early development if and when mrna-1283 is on the shelf it will have a different name and your suggestion is reasonable (although as part of a combo vaccine it will surely be called something else)