Allen Johnson (British Army officer)