Aragón-Salamanca, A., Baugh, C., & Kauffmann, G. (1999, December). The K-Band Hubble Diagram for the Brightest Cluster Galaxies: A Test of Galaxy Formation Models