You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named tert-butyl 2-(3-amino-2-carbamoyl-6-phenylthieno[2,3-b]pyridin-4-yl)pyrrolidine-1-carboxylate by IUPAC nomenclature, provide its molecular formula.
user
C23H26N4O3S
assistant