The formula of tetraammineaquachloridocobalt(III) chloride is