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 13-chloro-4-azatricyclo[9.4.0.03,8]pentadeca-1(11),3(8),4,6,12,14-hexaen-2-one;ethyl 4-(13-chloro-4-azatricyclo[9.4.0.03,8]pentadeca-1(11),3(8),4,6,12,14-hexaen-2-ylidene)piperidine-1-carboxylate;ethyl 4-(13-chloro-2-hydroxy-4-azatricyclo[9.4.0.03,8]pentadeca-1(11),3(8),4,6,12,14-hexaen-2-yl)-4-dimethoxyphosphorylpiperidine-1-carboxylate;ethyl 4-dimethoxyphosphorylpiperidine-1-carboxylate ?
user
C70H83Cl3N6O14P2
assistant