生体膜内外のプロトン勾配を利用してATP合成を行うのはどれか。