3-Butyl-3-hydroxy-9,9-dimethyl-3,4a-dihydro-4a-azafluorene-2,4-dione AIDS-057912 AIDS057912 BCH-6484 BCH-7