Biotech Values

[dewophile]

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)