Red 4k Sequence to 1080i 29.97 for Broadcast

i am currently working on a film that was shot in RED 4k (3840×2160).  i have a venue that wants to show it and they need a 1080i 29.97 ProRes 422 file.  is it possible just to export directly from Premiere Pro CS6 to the 1080i file?  if so, what settings should i use?

via Adobe Community : Popular Discussions – Adobe Premiere Forums