Defence budget boost for post-virus world