You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Provide the molecular formula for the IUPAC named substance tert-butyl (4R)-3,3-difluoro-4-[[1-[(2-methylpropan-2-yl)oxycarbonyl]piperidin-4-yl]amino]piperidine-1-carboxylate .
user
C20H35F2N3O4
assistant