You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (1R,18R,20S,23S)-20-cyclohexyl-N-[(1R,2S)-1-(cyclopropylsulfonylcarbamoyl)-2-ethenylcyclopropyl]-18,19-dimethyl-3,21-dioxo-2-oxa-4,19,22-triazatetracyclo[20.2.1.14,7.06,11]hexacosa-6(11),7,9-triene-23-carboxamide;2,2,2-trifluoroacetic acid by IUPAC nomenclature, provide its molecular formula.
user
C42H58F3N5O9S
assistant