You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name potassium;3-[(7R,8R,9S,10R,13S,14S,17R)-17-hydroxy-10,13-dimethyl-3-oxo-7-propyl-2,6,7,8,9,11,12,14,15,16-decahydro-1H-cyclopenta[a]phenanthren-17-yl]propanoic acid ?
user
C25H38KO4+
assistant