You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (3aR,6aS)-3-acetyl-5-[2-[[3-chloro-5-(trifluoromethyl)pyridin-1-ium-2-yl]amino]ethyl]-3a,6a-dihydropyrrolo[3,4-d][1,2]oxazole-4,6-dione by IUPAC nomenclature, provide its molecular formula.
user
C15H13ClF3N4O4+
assistant