You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Can you give the molecular formula of the molecule tert-butyl (3S)-3-[4-(5-iodo-2-nitroanilino)piperidin-1-yl]pyrrolidine-1-carboxylate ?
user
C20H29IN4O4
assistant