TKIP uses RC4. Keep in mind TKIP is not considered secure anymore.