Former top WR recruit Johntay Cook II leaves Texas in what coach calls mutual decision