7-Oxa-2,2,4,4-tetraprop-2-enylbicyclo[3.3.0]octan-3-one AIDS-095172 AIDS095172