HIV protein fragments intentionally added to coronavirus vaccines