You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
7-(4-methylimidazol-1-yl)-2-[[(2S,6R)-6-[4-(trifluoromethyl)cyclohexa-1,3-dien-1-yl]oxan-2-yl]methyl]-3,4-dihydropyrido[1,2-a]pyrazine-1,6-dione is the IUPAC name of a molecule. Please give its molecular formula.
user
C25H27F3N4O3
assistant