1,5,5-Trimethyl-2,6-dioxabicyclo[2.2.2]octan-3-one AIDS-151807 AIDS151807 NSC693430