20200710 city.mumbai: HC must direct naming of Covid patients: PIL