(1S,3aR,4S,6R)-1,4,7-Trimethyl-6-(2-methyl-propenyl)-2,3,3a,4,5,6-hexahydro-1H-10-oxa-8-aza-cyclopenta[a]phenalene AIDS-088787 AIDS088787 Pseudopteroxazole