The structure of biotin carboxylase, mutant E288K, complexed with ATP