4-month-old coronavirus patient discharged from hospital in Hainan