Thalassiolins A-C: new marine-derived inhibitors of HIV cDNA integrase.