[(2R)-3-[3,4-dichloro-5-(trifluoromethyl)phenyl]-1-oxo-1-(4-piperidin-1-ylpiperidin-1-yl)propan-2-yl] 2-oxospiro[1,3-dihydroquinoline-4,4'-piperidine]-1'-carboxylate The above is the IUPAC name of a molecule. Write its molecular formula.