Terminal oxidases of Micrococcus denitrificans.