You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule (4R,5R)-1-[2-(3-methylsulfonylphenyl)ethyl]-5-nitro-4-(2,4,5-trifluorophenyl)piperidin-2-one into molecular formula.
user
C20H19F3N2O5S
assistant