You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule [[[[(3aS,4R,6R)-4-(6-amino-2-propylsulfanylpurin-9-yl)-2-naphthalen-2-yl-3a,4,6,6a-tetrahydrofuro[3,4-d][1,3]dioxol-6-yl]methoxy-oxidophosphoryl]oxy-oxidophosphoryl]oxy-oxidophosphoryl]oxy-benzylphosphinate into molecular formula.
user
C31H31N5O15P4S-4
assistant