You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name (3S,7aS)-3-tert-butyl-7a-[(Z)-3-iodoprop-2-enyl]-3,5,6,7-tetrahydropyrrolo[1,2-c][1,3]oxazol-1-one into its molecular formula.
user
C13H20INO2
assistant