AIDS-018242 AIDS018242 Tetrahydro-3-hydroxy-2-(3-phenoxypropyl)-3,4-thiophenedicarboxylic acid