Did Justinian the Great (527–565 CE) suffer from syphilis?