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 (3-chloro-1-benzothiophen-2-yl)-[4-(1-propylbenzimidazol-2-yl)piperazin-1-yl]methanone ?
user
C23H23ClN4OS
assistant