1,4,5,8-Tetrahydro-4a,8a-naphthalenedicarboxylic acid 78388-31-5 AIDS-126184 AIDS126184 NSC100967