Who is the main character of the animated film that features both of the members of Tenacious D?