1-Pyrrolidin-1-yl-3-(2,2,7,7-tetramethyl-tetrahydro-bis[1,3]dioxolo[4,5-b;4',5'-d]pyran-5-ylmethoxy)-propan-2-ol AIDS-195896 AIDS195896