Musharraf was known as YK2 in army: General Butt