You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name tert-butyl 4-[12-[(4-cyclopropylpiperazin-1-yl)methyl]-8-(4-fluorophenyl)-2-oxo-7-(trifluoromethyl)-10-thia-3-aza-1-azoniatricyclo[7.3.1.05,13]trideca-1(12),3,5,7,9(13)-pentaen-4-yl]piperazine-1-carboxylate ?
user
C34H39F4N6O3S+
assistant