You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (1R,3S,4R)-2-[2-(3-chloroanilino)acetyl]-5,5-difluoro-N-[(Z,2R)-4-fluoro-4-methylsulfonyl-1-[(3S)-2-oxopyrrolidin-3-yl]but-3-en-2-yl]-2-azabicyclo[2.2.2]octane-3-carboxamide by IUPAC nomenclature, provide its molecular formula.
user
C25H30ClF3N4O5S
assistant