3,4-Thiophenedimethanol, 2,5-di-1-naphthalenyl- AIDS-133031 AIDS133031 NSC628125