Hi welcome

the quick answer to this is to make a copy in xtreme and increase its size by 133.33..% [so it shpws 72dpi on the status bar] and then export this at 72dpi

this may not be absolutely precise though