AIDS-133065 AIDS133065 NSC628244 Octahydro-5bH-cyclopropa[cd]indene-5b-carboxylic acid