Echinoderm granuloma: a skin lesion resulting from injury by the spines of sea-urchins inhabiting temperate waters. A new mycobacterial infection.