You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Can you give the molecular formula of the molecule (6R,7S,8R)-4-benzylsulfonyl-7-[4-(2-cyclopropylethynyl)phenyl]-8-(hydroxymethyl)-1,4-diazabicyclo[4.2.0]octan-2-one ?
user
C25H26N2O4S
assistant