Preparation, separation of diastereoisomers, and X-ray determination of configurations of (5R)- and (5S)-5- benzoylamino-5-[(1S)-methylpropyl]-4-oxo-1,3-dioxanes