Boris Johnson leaves hospital after coronavirus treatment