Theoretical studies of enzyme mechanisms involving high-valent iron intermediates.