You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
1-[2-oxo-2-(3-piperazin-1-ylpyrrolidin-1-yl)ethyl]quinolin-4-one;hydrochloride is the IUPAC name of a molecule. Please give its molecular formula.
user
C19H25ClN4O2
assistant