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 benzyl (2R,3S)-7,7-dibromo-3-hydroxy-3-methyl-8-oxo-5-thia-1-azabicyclo[4.2.0]octane-2-carboxylate ?
user
C15H15Br2NO4S
assistant