I seem to have been able to do this by rendering in PPCS4 with the H264-bluray format and selecting the HDTV 1080p 23.976 high quality preset and then creating a DVD in Encore. This will then play in my Sony BDP-S350 Blu-Ray player and appears to be properly formated and in high def.