7-Oxa-2,2,4,4-tetraprop-2-enylbicyclo[3.3.0]octan-3-ol AIDS-095173 AIDS095173