You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name sodium;(1S,2R)-2-[[1-[1-(4-fluorophenyl)ethyl]-2-oxopiperidin-3-yl]carbamoyl]cyclopropane-1-carboxylate into its molecular formula.
user
C18H20FN2NaO4
assistant