Synthesis and Biological Evaluation of 3,9-Dioxatetraasteranes as C2-Symmetric HIV-1 Protease Inhibitors and Docking Study.