(1RS,4SR,4aRS,8aSR)-1,4,4a,8a-tetrahydro[1,4-methanonaphtalen]-5,8-dione AIDS-074041 AIDS074041