Yup, pull, don't push.(posted 9047 days ago)That's about the same exposure as I use in dim pub lighting (at EI 800). I would hope the surgeons use a good deal more light. If I had to totally guess at exposure, I doubt that it would be far from ordinary daylight, i.e. sunny-16.
But as Conrad says, if the negatives so far are overexposed, then that is what you have to work with. You might try diluting the developer and aiming for compensating development, something like T- Max 1+9 for 5 minutes. Underdeveloping won't totally compensate for massive overexposure, the contrast will be really low, but it may make them slightly more printable.
The best option is a re-shoot, is the patient doesn't object...