Microwave spectrum and structure of ethylene ozonide-D4