Terminal oxidases of micrococcus denitrificans