On the mechanism of inhibition of cytochrome c oxidase by nitric oxide