1,2-Naphthalenedicarboxaldehyde, 1,4,4a,5,6,7,8,8a-octahydro-1-hydroxy-5,5,8a-trimethyl-, (1alpha,4aalpha,8abeta)- 62994-47-2 AIDS-009803 AIDS009803 Warburganal